1.
Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on ...
by Haxthausen, Anne E., Huang,...
ISBN: 9783031401312
List Price: $74.99
2.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and...
by Collart-Dutilleul, Simon, H...
ISBN: 9783031058134